Aspects of PROLOG History: Logic Programming and Professional Dynamics
نویسنده
چکیده
منابع مشابه
ECLiPSe - From LP to CLP
ECLPS is a Prolog-based programming system, aimed at the development and deployment of constraint programming applications. It is also used for teaching most aspects of combinatorial problem solving, e.g. problem modelling, constraint programming, mathematical programming, and search techniques. It uses an extended Prolog as its high-level modelling and control language, complemented by several...
متن کاملPROLOG: a language for implementing expert systems
We briefly describe the logic programming language PROLOG concentrating on those aspects of the language that make it suitable for implementing expert systems. We show how features of expert systems such as: (1) inference generated requests for data, (2) probabilistic reasoning, (3) explanation of behaviour can be easily programmed in PROLOG. We illustrate each of these features by showing how ...
متن کاملThe Tblisi Symposium on Logic, Language and Computation Contents 1 Implementational Aspects of a Categorial Grammar Based on Partial Proof Trees 1 Implementational Aspects of a Categorial Grammar Based on Partial Proof Trees
abstract. We present some implementational aspects of a categorial system (PPTS) based on partial proof trees. A prototype version of this system has been implemented in Prolog, a higher-order logic programming language that allows for an elegant and declarative implementation of variable abstractions and-reduction at higher types. The operations of PPTS make extensive use of higher-order manip...
متن کاملHistory on the implementation and compilation of Prolog
Prolog, abbreviation for PROgrammation en LOGique, was designed in 1972 by Philippe Roussel, Alain Colmerauer at the University of AixMarseille and Robert Kowalski at the University of Edinburgh [1]. Since 1972, Prolog has been one of the most popular logical programming language based on Horn clause logic. Intrigued by the interesting history of Prolog, I decided to learn the nature of the des...
متن کاملModelling Prolog Control
The goal of this paper is to construct a semantic basis for the abstract interpretation of Prolog programs. Prolog is a well-known logic programming language which applies a depthrst search strategy in order to provide a practical approximation of Horn clause logic. While pure logic programming has clean xpoint, model-theoretic and operational semantics the situation for Prolog is di erent. Di ...
متن کامل